Buy Used and New Dale Miller Books

John Stuart Mill (Key Thinkers)

by Dale Miller

ISBN 13: 9780745625843

Format: Paperback (252 pages)
Publisher: Polity Press
Published: 16 Jul 2010

Save for later

John Stuart Mill (Key Thinkers)

by Dale Miller

ISBN 13: 9780745625836

Format: Hardcover (252 pages)
Publisher: Polity Press
Published: 16 Jul 2010
Other Format: Paperback

Save for later

Programming with Higher-Order Logic

by Dale Miller, Gopalan Nadathur

ISBN 13: 9780521879408

Format: Hardcover (320 pages)
Publisher: Cambridge University Press
Published: 30 Jun 2012

Save for later

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642313646

Format: Paperback (568 pages)
Publisher: Springer
Published: 20 Jun 2012

Save for later

Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings: 7679 (Lecture Notes in Computer Science)

by Chris Hawblitzel,Dale Miller

ISBN 13: 9783642353079

Format: Paperback (316 pages)
Publisher: Springer
Published: 01 Nov 2012

Save for later